ОРГАНИЗАЦИЯ УПРАВЛЕНИЯ СЕТЯМИ ХРАНЕНИЯ И ОБРАБОТКИ ДАННЫХ НА ОСНОВЕ
НЕПОСРЕДСТВЕННОЙ ИНТЕРПРЕТАЦИИ ЛОГИКО-АЛГЕБРАИЧЕСКИХ СПЕЦИФИКАЦИЙ 

Зинкин Сергей Александрович, доктор технических наук, профессор, кафедра вычислительной техники, Пензенский государственный университет, zsa49@yandex.ru 

681.324 

Рассмотрены основы синтеза управляющих распределенных программ на основе формальных логико-алгебраических спецификаций. Приведены иллюстрирующие примеры, развитые на основе модели использования ресурсов Генриха – Глэссера. Даны логико-алгебраические спецификации для
реализации нового подхода к реализации распределенных сетевых программ. 

Ключевые слова

хранение данных, обработка данных, формальное определение распределенных процессов, логико-алгебраический подход, сети абстрактных машин, распределенные поведенческие модели. 

 Скачать статью в формате PDF

1. Genrich, H. J. Predicate/transition nets / H. J. Genrich // Lecture Notes in Computer Science. Springer-Verlag. – 1986. – V. 254. – P. 207–247.
2. Genrich, H. J. Equivalence transformations of PrT-Nets // Lecture Notes in Computer Science. – Springer-Verlag, 1990. – V. 424. – P. 179–208.
3. Glaesser, U. Combining abstract state machines with predicate/transition nets / U. Glaesser // Lecture Notes in Computer Science. Springer-Verlag. – 1997. – V. 1333. – P. 108–122.
4. Зинкин, С. А. Сети абстрактных машин высших порядков в проектировании систем и сетей хранения и обработки данных (базовый формализм и его расширения) // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2007. – № 3. – С. 13–22.
5. Зинкин, С. А. Сети абстрактных машин высших порядков в проектировании систем и сетей хранения и обработки данных (механизмы интерпретации и варианты использования) / С. А. Зинкин // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2007. – № 4. –           С. 37–51.
6. Зинкин, С. А. Реализация барьерной синхронизации и управление процессами в виртуальном сетевом дисковом массиве / С. А. Зинкин // Информационные технологии. – 2008. – № 12. – С. 22–29.
7. Зинкин, С. А. Элементы новой объектно-ориентированной технологии для моделирования и реализации систем и сетей хранения и обработки данных / С. А. Зинкин // Информационные технологии. – 2008. – № 10. – С. 20–27.
8. Глушков, В. М. Алгебра. Языки. Программирование / В. М. Глушков, Г. Е. Цейтлин, Е. Л. Ющенко. – Киев : Наукова думка, 1978. – 320 с.
9. Глушков, В. М. Методы символьной мультиобработки / В. М. Глушков, Г. Е. Цейтлин, Е. Л. Ющенко. – Киев : Наукова думка, 1980. – 252 с.
10. Капитонова, Ю. В. Математическая теория проектирования вычислительных систем / Ю. В. Капитонова, А. А. Летичевский. – М. : Наука, 1988. – 296 с.
11. Лавров, С. С. Программирование. Математические основы, средства, теория.  СПб. : БХВ-Петербург, 2001. – 320 с.
12. Волчихин, В. И. Абстрактное и структурное моделирование сетей хранения и обработки данных / В. И. Волчихин, С. А. Зинкин // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2011. – № 4. – С. 3–18.
13. Волчихин, В. И. Логико-алгебраические модели и методы в проектировании функциональной архитектуры распределенных систем хранения и обработки данных / В. И. Волчихин, С. А. Зинкин // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2012. – № 2. –         С. 3–16.
14. Дейтел, Х. М. Технологии программирования на Java 2. Книга 2. Распределенные приложения / Х. М. Дейтел, П. Дж. Дейтел, С. И. Сантри – М. : Бином-Пресс, 2003. – 464 с.